Programmation unifiée multi-accélérateur avec OpenCL

Programmation par contraintes avec des fourmis

On explore dans cet article les possibilités d’intégration de la métaheuristique d’optimisation par colonies de fourmis (ACO) dans un langage de programmation par contraintes (PPC). L’idée est d’utiliser un langage de PPC pour décrire le problème à résoudre, ainsi que pour propager et vérifier les contraintes, et d’utiliser ACO pour guider la recherche de solutions. On illustre notre approche s...

Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion de documents scientifiques de niveau r...

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel

Un langage de programmation qui se veut utile doit être capable d’exprimer des programmes qui profitent des services et des mécanismes de communication supportés par le système d’exploitation. Nous examinons dans cet article le problème de la programmation d’applications Win32 dites “natives” sous le système d’exploitation Windows avec le langage fonctionnel Standard ML. Nous introduisons une i...

Environnement de conception multi-niveaux unifiée appliqué aux systèmes mixtes

Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes

Nous définissons un modèle d’exécution réactif et interactif pour la programmation logique avec contraintes (PLC). Ce modèle d’exécution s’appuie d’une part sur un système de transformation des dérivations CSLD pour l’ajout et le retrait de contraintes et d’atomes dans la requête, et d’autre part sur un résolveur de contraintes dynamiques supportant l’ajout et le retrait incrémental de contrain...